формальный анализ

формальный анализ

 

формальный анализ
 —
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]

Тематики

  • энергетика в целом

EN

  • formal analysis


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Нужна курсовая?

Смотреть что такое "формальный анализ" в других словарях:

  • формальный анализ проекта — 3.1 формальный анализ проекта (formal design review): Формальная и независимая экспертиза существующего или предлагаемого проекта для обнаружения и исправления недостатков проекта и требований к показателям безотказности, безопасности,… …   Словарь-справочник терминов нормативно-технической документации

  • ГОСТ Р МЭК 61160-2006: Менеджмент риска. Формальный анализ проекта — Терминология ГОСТ Р МЭК 61160 2006: Менеджмент риска. Формальный анализ проекта оригинал документа: 3.2 пункт плана мероприятий (action item): Вопрос, который должен быть решен до завершения анализа проекта. Определения термина из разных… …   Словарь-справочник терминов нормативно-технической документации

  • Формальный анализ проекта — Формальная и независимая экспертиза, как процесс консультирования, контроля, уточняющих процедур (не элементов разработки) на всех этапах жизненного цикла объекта (включая КБ и АТЗ объекта) в точках принятия решений (контрольных точках) на… …   Комплексное обеспечение безопасности и антитеррористической защищенности зданий и сооружений

  • анализ и синтез —         АНАЛИЗ И СИНТЕЗ. Анализ (от греч. analysis разложение, расчленение) реальное или мысленное разложение объекта на компоненты; синтез (от греч. sythesis соединение, сочетание) реальное или мысленное объединение этих компонентов в целостный… …   Энциклопедия эпистемологии и философии науки

  • ФОРМАЛЬНЫЙ — ФОРМАЛЬНЫЙ, формальная, формальное; формален, формальна, формально. 1. только полн. прил. к форма в 7 и 8 знач.; присущий форме, связанный со свойствами формы (научн.). Формальные особенности слов. Формальный анализ стихотворения. 2. только полн …   Толковый словарь Ушакова

  • АНАЛИЗ ПРИЧИННЫЙ — – методы моде­лирования причинных отношений между при­знаками с помощью систем статистич. уравне­ний, чаще всего регрессионных. Существуют другие названия этой довольно обширной и постоянно развивающейся области методов: путе­вой анализ, как… …   Российская социологическая энциклопедия

  • НАРРАТИВНЫЙ АНАЛИЗ — качественный анализ материала нарративного интервью (биографического или тематического). Основные методологические разработки Н.А. связаны с именами Ф. Шютце (Fritze Schutze), В. Фишера (Wolfram Fischer), Г. Розенталь (Gabriele Rosenthal), Дж.… …   Социология: Энциклопедия

  • ФОРМАЛЬНЫЙ МАТЕМАТИЧЕСКИЙ АНАЛИЗ — название формальной аксиоматич. теории, специально предназначенной для формализации (точного описания доказательств) математич. анализа. При этом формальную аксиоматич. теорию стараются выбирать по возможности минимальной по своим дедуктивным и… …   Математическая энциклопедия

  • КОМБИНАТОРНЫЙ АНАЛИЗ — комбинаторная математика, комбинаторика, раздел математики, посвященный решению задач выбора и расположения элементов нек рого, обычно конечного, множества в соответствии с заданными правилами. Каждое такое правило определяет способ построения… …   Математическая энциклопедия

  • Логика Бэрроуза — Логика Бэрроуза  Абади  Нидхэма (англ. Burrows Abadi Needham logic) или BAN логика (англ. BAN logic)  это формальная логическая модель для анализа знания и доверия, широко используемая при анализе протоколов… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»